Gabor Madl : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (20)
Les plus populaires
Liste
- Liste
- Tableau

1

Fine-grain analysis of common coupling and its application to a Linux case study

Dror G. Feitelson, Tokunbo O.S. Adeshiyan, Daniel Balasubramanian, Yoav Etsion, Gabor Madl, Esteban P. Osses, Sameer Singh, Karlkim Suwanmongkol, Minhui Xie, Stephen R. Schach

Journal:

Journal of Systems and Software

Année:

2007

Langue:

english

Fichier:

PDF, 404 KB

english, 2007

2

Common coupling and pointer variables, with application to a Linux case study

Stephen R. Schach, Tokunbo O. S. Adeshiyan, Daniel Balasubramanian, Gabor Madl, Esteban P. Osses, Sameer Singh, Karlkim Suwanmongkol, Minhui Xie, Dror G. Feitelson

Journal:

Software Quality Journal

Année:

2007

Langue:

english

Fichier:

PDF, 403 KB

english, 2007

3

Enabling heterogeneous cycle-based and event-driven simulation in a design flow integrated using the SPIRIT consortium specifications

Chulho Shin, Peter Grun, Nizar Romdhane, Christopher Lennard, Gabor Madl, Sudeep Pasricha, Nikil Dutt, Mark Noll

Journal:

Design Automation for Embedded Systems

Année:

2007

Langue:

english

Fichier:

PDF, 735 KB

english, 2007

4

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt

Journal:

Real-Time Systems

Année:

2006

Langue:

english

Fichier:

PDF, 863 KB

english, 2006

5

[American Institute of Aeronautics and Astronautics AIAA Infotech@Aerospace 2010 - Atlanta, Georgia ()] AIAA Infotech@Aerospace 2010 - Towards Scalable Verification of Commercial Avionics Software

Bhatt, Devesh, Madl, Gabor, Oglesby, David, Schloegel, Kirk

Année:

2010

Langue:

english

Fichier:

PDF, 442 KB

english, 2010

6

[IEEE 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - San Francisco, CA, USA (2009.04.13-2009.04.16)] 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium - A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata

Madl, Gabor, Dutt, Nikil, Abdelwahed, Sherif

Année:

2009

Langue:

english

Fichier:

PDF, 507 KB

english, 2009

7

Functionalization of a cyclo -P 5 Ligand by Main-Group Element Nucleophiles

Mädl, Eric, Butovskii, Mikhail V., Balázs, Gábor, Peresypkina, Eugenia V., Virovets, Alexander V., Seidl, Michael, Scheer, Manfred

Journal:

Angewandte Chemie International Edition

Année:

2014

Langue:

english

Fichier:

PDF, 382 KB

english, 2014

8

[ACM Press the 5th ACM international conference - Jersey City, NJ, USA (2005.09.18-2005.09.22)] Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05 - Model-based analysis of distributed real-time embedded system composition

Madl, Gabor, Abdelwahed, Sherif

Année:

2005

Langue:

english

Fichier:

PDF, 661 KB

english, 2005

9

Funktionalisierung eines cyclo -P 5 -Liganden durch Hauptgruppenelement-Nukleophile

Mädl, Eric, Butovskii, Mikhail V., Balázs, Gábor, Peresypkina, Eugenia V., Virovets, Alexander V., Seidl, Michael, Scheer, Manfred

Journal:

Angewandte Chemie

Année:

2014

Langue:

german

Fichier:

PDF, 374 KB

german, 2014

10

[IEEE 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Scottsdale, AZ, USA (2013.04.22-2013.04.24)] 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Quantifying Error Propagation in Data Flow Models

Bhatt, Devesh, Schloegel, Kirk, Madl, Gabor, Oglesby, David

Année:

2013

Langue:

english

Fichier:

PDF, 265 KB

english, 2013

11

Real-time analysis of resource-constrained distributed systems by simulation-guided model checking

Madl, Gabor, Dutt, Nikil

Journal:

ACM SIGBED Review

Année:

2008

Langue:

english

Fichier:

PDF, 215 KB

english, 2008

12

[ACM Press the 6th ACM & IEEE International conference - Seoul, Korea (2006.10.22-2006.10.25)] Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 - Formal performance evaluation of AMBA-based system-on-chip designs

Madl, Gabor, Pasricha, Sudeep, Bathen, Luis Angel D., Dutt, Nikil, Zhu, Qiang

Année:

2006

Langue:

english

Fichier:

PDF, 752 KB

english, 2006

13

[ACM Press the 7th ACM & IEEE international conference - Salzburg, Austria (2007.09.30-2007.10.03)] Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07 - Performance estimation of distributed real-time embedded systems by discrete event simulations

Madl, Gabor, Dutt, Nikil, Abdelwahed, Sherif

Année:

2007

Langue:

english

Fichier:

PDF, 549 KB

english, 2007

14

[IEEE 2015 IEEE International Conference on Big Data (Big Data) - Santa Clara, CA, USA (2015.10.29-2015.11.1)] 2015 IEEE International Conference on Big Data (Big Data) - Account clustering in multi-tenant storage management environments

Madl, Gabor, Routray, Ramani, Song, Yang, Jain, Rakesh

Année:

2015

Langue:

english

Fichier:

PDF, 792 KB

english, 2015

15

Unexpected Reactivity of [(η 5 -1,2,4- t Bu 3 C 5 H 2 )Ni(η 3 -P 3 )] towards Main Group Nucleophiles and by Reduction

Mädl, Eric, Balázs, Gábor, Peresypkina, Eugenia V., Scheer, Manfred

Journal:

Angewandte Chemie International Edition

Année:

2016

Langue:

english

Fichier:

PDF, 952 KB

english, 2016

16

Unerwartete Reaktivität von [(η 5 -1,2,4- t Bu 3 C 5 H 2 )Ni(η 3 -P 3 )] gegenüber Hauptgruppen-Nucleophilen und durch Reduktion

Mädl, Eric, Balázs, Gábor, Peresypkina, Eugenia V., Scheer, Manfred

Journal:

Angewandte Chemie

Année:

2016

Langue:

german

Fichier:

PDF, 915 KB

german, 2016

17

Nacnac-Cobalt-Mediated P 4 Transformations

Spitzer, Fabian, Graßl, Christian, Balázs, Gábor, Mädl, Eric, Keilwerth, Martin, Zolnhofer, Eva M., Meyer, Karsten, Scheer, Manfred

Journal:

Chemistry - A European Journal

Année:

2017

Langue:

english

Fichier:

PDF, 1.45 MB

english, 2017

18

SAE Technical Paper Series [SAE International SAE 2012 Aerospace Electronics and Avionics Systems Conference - (OCT. 30, 2012)] SAE Technical Paper Series - System Architecture Driven Software Design Analysis Methodology and Toolset

Bhatt, Devesh, Madl, Gabor, Oglesby, David

Année:

2012

Langue:

english

Fichier:

PDF, 2.65 MB

english, 2012

19

[IEEE 2019 IEEE International Conference on Blockchain (Blockchain) - Atlanta, GA, USA (2019.7.14-2019.7.17)] 2019 IEEE International Conference on Blockchain (Blockchain) - Formal Verification of Smart Contracts Using Interface Automata

Madl, Gabor, Bathen, Luis, Flores, German, Jadav, Divyesh

Année:

2019

Fichier:

PDF, 1.98 MB

2019

20

[IEEE 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) - Long Beach, CA, USA (2019.6.16-2019.6.17)] 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) - SelfIs: Self-Sovereign Biometric IDs

Bathen, Luis, Flores, German H., Madl, Gabor, Jadav, Divyesh, Arvanitis, Andreas, Santhanam, Krishna, Zeng, Connie, Gordon, Alan

Année:

2019

Fichier:

PDF, 558 KB

2019